conditional statement discrete math